<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html lang="fr">
  <head>
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta name="created" content="2018-10-23T06:18:10.521000000">
    <meta name="changed" content="2019-01-16T17:28:04.263000000">
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
    <meta http-equiv="Content-Language" content="fr">
    <title>
      Vérification en ligne de commande
    </title>
    <link rel="stylesheet" type="text/css" href="../../style.css">
  </head>
  <body>
    <div class="maindiv">
      <h1>
        Vérification en ligne de commande
      </h1>
      <blockquote>
        <em>Sous-sections:</em><br>
        <a href="sub.html">Substituer des librairies</a><br>
        <a href="other.html">Autres options de vérifications</a><br>
        <a href="multi.html">Tester de multiples fichiers</a><br>
        <a href="test.html">Tester avec des vecteurs de test</a>
      </blockquote>
      <p>
        Logisim inclut un support de base pour l'exécution de circuits à partir de la ligne de commande. Cela vise à faciliter la vérification par script des conceptions de circuit et à aider les instructeurs à effectuer des tests automatisés des solutions des étudiants.
      </p>
      <p>
        Nous allons commencer par voir comment lancer un circuit à partir de la ligne de commande. Pour notre exemple, nous supposerons que nous avons construit le circuit ci-dessous dans un fichier nommé <b><tt>adder-test.circ</tt></b>. Il utilise un additionneur à deux bits comme sous-circuit et effectue une itération à l'aide d'un compteur via les 16 entrées possibles.
      </p>
      <p align="center">
        <img class="notscal" src="../../../../img-guide/verify-adder-test.png" alt="#########">
      </p>
      <p>
        Une fois ce circuit construit, nous exécutons Logisim à partir de la ligne de commande, en indiquant le nom du projet et l’option <b class=propertie>-tty</b> et le paramètre <b class=propertie>table</b>.
      </p>
      <blockquote>
        <tt>java -jar logisim-evolution.jar adder-test.circ -tty table</tt>
      </blockquote>
      <p>
        Sans affichage de la fenêtre graphique, Logisim charge le circuit et commence la simulation, il fait avancer les horloges aussi vite que possible tout en traitant les propagations entre chaque tic. Après chaque propagation, Logisim compare les valeurs générées des broches de sortie. Si des modifications ont été apportées à la propagation précédente, toutes les valeurs sont affichées dans un format délimité par des tabulations. Il est possible de tester la fin de la simulation à l'aide d'une broche spéciale labellisée <var>halt</var> (Sensible au casse). Elle ne s'affiche pas, mais quand elle change d'état vers le niveau haut (1) cela termine la simulation.
      </p>
      <p>
        Dans notre exemple, Logisim affiche le tableau ci-dessous. Dans notre affichage nous avons trois colonnes <var>a</var>, <var>b</var> et <var>sum</var>. Deux correspondent aux entrées <var>a</var> et <var>b</var> de l'additionneur et <var>sum</var> correspond à la sortie de l'additionneur à deux bits. L'affichage des colonnes dans la sortie console est organisé de gauche à droite et correspond à l'ordre descendant du positionnement des broches dans le schéma du circuit.
      </p>
      <blockquote>
        <pre>00      00      000
01      00      001
10      00      010
11      00      011
00      01      001
01      01      010
10      01      011
11      01      100
00      10      010
01      10      011
10      10      100
11      10      101
00      11      011
01      11      100
10      11      101
11      11      110
</pre>
      </blockquote>
      <p>
        <b>Suite:</b> <a href="sub.html">Substituer des librairies</a>.
      </p>
    </div>
  </body>
</html>
